/*
 * Copyright (c) 2015—2030 GantSoftware.Co.Ltd. All rights reserved.
 *  <p>
 *  Unless required by applicable law or agreed to in writing, software
 *  is not allowed to be distributed or copied without the license from
 *  GantSoftware.Co.Ltd. Please contact the company for more information.
 */
package com.gantang.gax.engine.factory;

import com.gantang.gax.engine.eo.Engine;
import com.gantang.gax.engine.eo.LogicEngine;
import com.gantang.gax.engine.model.EngineCreator;
import org.springframework.stereotype.Service;

@Service("maxSatLogicEngineFactory")
public class MaxSatLogicEngineFactory implements EngineFactory {
    @Override
    public Engine createEngine(EngineCreator engineCreator) {
        return new LogicEngine(engineCreator.getVariableGroupMap(), engineCreator.getFormulas(), null, Boolean.TRUE, Boolean.FALSE);
    }
}